<html>
<head><meta charset="utf-8"><title>I-prioritize #59324 ICE: &quot;could not fully normalize &lt;trait&gt;&quot; · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html">I-prioritize #59324 ICE: &quot;could not fully normalize &lt;trait&gt;&quot;</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201151309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359324%20ICE%3A%20%22could%20not%20fully%20normalize%20%3Ctrait%3E%22/near/201151309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html#201151309">(Jun 17 2020 at 14:46)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/59324">#59324</a> has been requested for prioritization.</p>



<a name="201176933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359324%20ICE%3A%20%22could%20not%20fully%20normalize%20%3Ctrait%3E%22/near/201176933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html#201176933">(Jun 17 2020 at 17:51)</a>:</h4>
<p>Should this code compile in the first place?</p>



<a name="201177002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359324%20ICE%3A%20%22could%20not%20fully%20normalize%20%3Ctrait%3E%22/near/201177002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html#201177002">(Jun 17 2020 at 17:51)</a>:</h4>
<p>If not I think it is still <code>P-medium</code> because diagnostics would be absolutely needed here</p>



<a name="201177126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359324%20ICE%3A%20%22could%20not%20fully%20normalize%20%3Ctrait%3E%22/near/201177126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html#201177126">(Jun 17 2020 at 17:52)</a>:</h4>
<p>No, okay it doesn't compile</p>



<a name="201177251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359324%20ICE%3A%20%22could%20not%20fully%20normalize%20%3Ctrait%3E%22/near/201177251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html#201177251">(Jun 17 2020 at 17:53)</a>:</h4>
<p>I propose <code>P-medium</code> then</p>



<a name="201189035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2359324%20ICE%3A%20%22could%20not%20fully%20normalize%20%3Ctrait%3E%22/near/201189035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2359324.20ICE.3A.20.22could.20not.20fully.20normalize.20.3Ctrait.3E.22.html#201189035">(Jun 17 2020 at 19:28)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/59324">#59324</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>